Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
681	Space-Time Functional Gradient Optimization for Motion Planning Arunkumar Byravan1 , Byron Boots1 , Siddhartha S. Srinivasa2 and Dieter Fox1 Abstract— Functional gradient algorithms (e.g. CHOMP) have recently shown gre Add to Reading List Source URL: www.ri.cmu.edu Language: English - Date: 2014-07-22 11:22:13 Mathematical analysis Trajectory optimization Chomp Optimal control Motion planning Kinematics Path integral formulation Dynamic programming Lagrangian Mathematical optimization Physics Mathematics
682	Asymptotically optimal index policies for an abandonment queue with convex holding cost∗ M. Larra˜ naga1,2,5 , U. Ayesta2,3,4,5 , I.M. Verloop1,5 1 CNRS, IRIT, 2 rue C. Carmichel, FToulouse, France. Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2015-04-15 10:57:22 Dynamic programming Optimal control Mathematical sciences Markov decision process Relaxation Mathematical optimization Statistics Operations research
683	HUMBOLDT-UNIVERSITÄT ZU BERLIN INSTITUT FÜR INFORMATIK ARBEITSGRUPPE SPEZIFIKATION, VERIFIKATION UND TESTTHEORIE SS 2011 ÜBUNGEN ZUR VORLESUNG Add to Reading List Source URL: www.zesys.de Language: English - Date: 2014-06-01 05:28:30 Computing Visual programming languages Cross-platform software Mathematical modeling Numerical software Simulink MathWorks MATLAB Software Application software Simulation software
684	The R package cccp: Design for solving cone constrained convex programs Bernhard Pfaff Invesco Asset Management GmbH Add to Reading List Source URL: www.pfaffikus.de Language: English - Date: 2015-05-25 17:53:46 Convex analysis Convex optimization Linear programming Semidefinite programming Convex function Interior point method CPLEX Mathematical optimization Mathematical analysis Operations research
685	Learning Submodular Losses with the Lov´ asz Hinge Jiaqian Yu, Matthew Blaschko To cite this version: Jiaqian Yu, Matthew Blaschko. Learning Submodular Losses with the Lov´asz Hinge. International Conference on Machine Add to Reading List Source URL: hal.inria.fr Language: English Machine learning Submodular set function Order theory Convex analysis Supermodular function Hinge loss Empirical risk minimization Linear programming Vector space Mathematics Mathematical optimization Algebra
686	This paper was presented as part of the main technical program at IEEE INFOCOMA Nearly-Optimal Index Rule for Scheduling of Users with Abandonment Urtzi Ayesta∗† , Peter Jacko∗ and Vladimir Novak∗‡ ∗ B Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2012-01-01 05:04:19 Systems theory Dynamic programming Equations Markov processes Decision theory Loss function Bellman equation Asymptotically optimal algorithm Markov decision process Statistics Control theory Mathematical optimization
687	The Opportunity Process for Optimal Consumption and Investment with Power Utility Marcel Nutz ETH Zurich, Department of Mathematics, 8092 Zurich, Switzerland First Version: November 24, 2009. Thi Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2011-07-12 11:25:17 Equations Consumer theory Mathematical optimization Martingale Semimartingale Dynamic programming Bellman equation No free lunch with vanishing risk Utility Statistics Martingale theory Stochastic processes
688	Weak Dynamic Programming for Generalized State Constraints ∗ Bruno Bouchard Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2012-10-19 17:18:24 Deduction Operations research Entailment Logical consequence Metalogic Random variable Dynamic programming Monotone convergence theorem Logic Mathematical analysis Mathematics
689	Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement, Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-04-08 00:54:02 Concurrency Theoretical computer science Computer programming Algorithm Mathematical logic Non-blocking algorithm Linearizability Concurrent data structure Actor model Computing Concurrency control Concurrent computing
690	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic

UPDATE